package org.bouncycastle.pqc.crypto.falcon;

class FalconSmallPrimeList
{
    static final FalconSmallPrime[] PRIMES = {
        new FalconSmallPrime(2147473409, 383167813, 10239),
        new FalconSmallPrime(2147389441, 211808905, 471403745),
        new FalconSmallPrime(2147387393, 37672282, 1329335065),
        new FalconSmallPrime(2147377153, 1977035326, 968223422),
        new FalconSmallPrime(2147358721, 1067163706, 132460015),
        new FalconSmallPrime(2147352577, 1606082042, 598693809),
        new FalconSmallPrime(2147346433, 2033915641, 1056257184),
        new FalconSmallPrime(2147338241, 1653770625, 421286710),
        new FalconSmallPrime(2147309569, 631200819, 1111201074),
        new FalconSmallPrime(2147297281, 2038364663, 1042003613),
        new FalconSmallPrime(2147295233, 1962540515, 19440033),
        new FalconSmallPrime(2147239937, 2100082663, 353296760),
        new FalconSmallPrime(2147235841, 1991153006, 1703918027),
        new FalconSmallPrime(2147217409, 516405114, 1258919613),
        new FalconSmallPrime(2147205121, 409347988, 1089726929),
        new FalconSmallPrime(2147196929, 927788991, 1946238668),
        new FalconSmallPrime(2147178497, 1136922411, 1347028164),
        new FalconSmallPrime(2147100673, 868626236, 701164723),
        new FalconSmallPrime(2147082241, 1897279176, 617820870),
        new FalconSmallPrime(2147074049, 1888819123, 158382189),
        new FalconSmallPrime(2147051521, 25006327, 522758543),
        new FalconSmallPrime(2147043329, 327546255, 37227845),
        new FalconSmallPrime(2147039233, 766324424, 1133356428),
        new FalconSmallPrime(2146988033, 1862817362, 73861329),
        new FalconSmallPrime(2146963457, 404622040, 653019435),
        new FalconSmallPrime(2146959361, 1936581214, 995143093),
        new FalconSmallPrime(2146938881, 1559770096, 634921513),
        new FalconSmallPrime(2146908161, 422623708, 1985060172),
        new FalconSmallPrime(2146885633, 1751189170, 298238186),
        new FalconSmallPrime(2146871297, 578919515, 291810829),
        new FalconSmallPrime(2146846721, 1114060353, 915902322),
        new FalconSmallPrime(2146834433, 2069565474, 47859524),
        new FalconSmallPrime(2146818049, 1552824584, 646281055),
        new FalconSmallPrime(2146775041, 1906267847, 1597832891),
        new FalconSmallPrime(2146756609, 1847414714, 1228090888),
        new FalconSmallPrime(2146744321, 1818792070, 1176377637),
        new FalconSmallPrime(2146738177, 1118066398, 1054971214),
        new FalconSmallPrime(2146736129, 52057278, 933422153),
        new FalconSmallPrime(2146713601, 592259376, 1406621510),
        new FalconSmallPrime(2146695169, 263161877, 1514178701),
        new FalconSmallPrime(2146656257, 685363115, 384505091),
        new FalconSmallPrime(2146650113, 927727032, 537575289),
        new FalconSmallPrime(2146646017, 52575506, 1799464037),
        new FalconSmallPrime(2146643969, 1276803876, 1348954416),
        new FalconSmallPrime(2146603009, 814028633, 1521547704),
        new FalconSmallPrime(2146572289, 1846678872, 1310832121),
        new FalconSmallPrime(2146547713, 919368090, 1019041349),
        new FalconSmallPrime(2146508801, 671847612, 38582496),
        new FalconSmallPrime(2146492417, 283911680, 532424562),
        new FalconSmallPrime(2146490369, 1780044827, 896447978),
        new FalconSmallPrime(2146459649, 327980850, 1327906900),
        new FalconSmallPrime(2146447361, 1310561493, 958645253),
        new FalconSmallPrime(2146441217, 412148926, 287271128),
        new FalconSmallPrime(2146437121, 293186449, 2009822534),
        new FalconSmallPrime(2146430977, 179034356, 1359155584),
        new FalconSmallPrime(2146418689, 1517345488, 1790248672),
        new FalconSmallPrime(2146406401, 1615820390, 1584833571),
        new FalconSmallPrime(2146404353, 826651445, 607120498),
        new FalconSmallPrime(2146379777, 3816988, 1897049071),
        new FalconSmallPrime(2146363393, 1221409784, 1986921567),
        new FalconSmallPrime(2146355201, 1388081168, 849968120),
        new FalconSmallPrime(2146336769, 1803473237, 1655544036),
        new FalconSmallPrime(2146312193, 1023484977, 273671831),
        new FalconSmallPrime(2146293761, 1074591448, 467406983),
        new FalconSmallPrime(2146283521, 831604668, 1523950494),
        new FalconSmallPrime(2146203649, 712865423, 1170834574),
        new FalconSmallPrime(2146154497, 1764991362, 1064856763),
        new FalconSmallPrime(2146142209, 627386213, 1406840151),
        new FalconSmallPrime(2146127873, 1638674429, 2088393537),
        new FalconSmallPrime(2146099201, 1516001018, 690673370),
        new FalconSmallPrime(2146093057, 1294931393, 315136610),
        new FalconSmallPrime(2146091009, 1942399533, 973539425),
        new FalconSmallPrime(2146078721, 1843461814, 2132275436),
        new FalconSmallPrime(2146060289, 1098740778, 360423481),
        new FalconSmallPrime(2146048001, 1617213232, 1951981294),
        new FalconSmallPrime(2146041857, 1805783169, 2075683489),
        new FalconSmallPrime(2146019329, 272027909, 1753219918),
        new FalconSmallPrime(2145986561, 1206530344, 2034028118),
        new FalconSmallPrime(2145976321, 1243769360, 1173377644),
        new FalconSmallPrime(2145964033, 887200839, 1281344586),
        new FalconSmallPrime(2145906689, 1651026455, 906178216),
        new FalconSmallPrime(2145875969, 1673238256, 1043521212),
        new FalconSmallPrime(2145871873, 1226591210, 1399796492),
        new FalconSmallPrime(2145841153, 1465353397, 1324527802),
        new FalconSmallPrime(2145832961, 1150638905, 554084759),
        new FalconSmallPrime(2145816577, 221601706, 427340863),
        new FalconSmallPrime(2145785857, 608896761, 316590738),
        new FalconSmallPrime(2145755137, 1712054942, 1684294304),
        new FalconSmallPrime(2145742849, 1302302867, 724873116),
        new FalconSmallPrime(2145728513, 516717693, 431671476),
        new FalconSmallPrime(2145699841, 524575579, 1619722537),
        new FalconSmallPrime(2145691649, 1925625239, 982974435),
        new FalconSmallPrime(2145687553, 463795662, 1293154300),
        new FalconSmallPrime(2145673217, 771716636, 881778029),
        new FalconSmallPrime(2145630209, 1509556977, 837364988),
        new FalconSmallPrime(2145595393, 229091856, 851648427),
        new FalconSmallPrime(2145587201, 1796903241, 635342424),
        new FalconSmallPrime(2145525761, 715310882, 1677228081),
        new FalconSmallPrime(2145495041, 1040930522, 200685896),
        new FalconSmallPrime(2145466369, 949804237, 1809146322),
        new FalconSmallPrime(2145445889, 1673903706, 95316881),
        new FalconSmallPrime(2145390593, 806941852, 1428671135),
        new FalconSmallPrime(2145372161, 1402525292, 159350694),
        new FalconSmallPrime(2145361921, 2124760298, 1589134749),
        new FalconSmallPrime(2145359873, 1217503067, 1561543010),
        new FalconSmallPrime(2145355777, 338341402, 83865711),
        new FalconSmallPrime(2145343489, 1381532164, 641430002),
        new FalconSmallPrime(2145325057, 1883895478, 1528469895),
        new FalconSmallPrime(2145318913, 1335370424, 65809740),
        new FalconSmallPrime(2145312769, 2000008042, 1919775760),
        new FalconSmallPrime(2145300481, 961450962, 1229540578),
        new FalconSmallPrime(2145282049, 910466767, 1964062701),
        new FalconSmallPrime(2145232897, 816527501, 450152063),
        new FalconSmallPrime(2145218561, 1435128058, 1794509700),
        new FalconSmallPrime(2145187841, 33505311, 1272467582),
        new FalconSmallPrime(2145181697, 269767433, 1380363849),
        new FalconSmallPrime(2145175553, 56386299, 1316870546),
        new FalconSmallPrime(2145079297, 2106880293, 1391797340),
        new FalconSmallPrime(2145021953, 1347906152, 720510798),
        new FalconSmallPrime(2145015809, 206769262, 1651459955),
        new FalconSmallPrime(2145003521, 1885513236, 1393381284),
        new FalconSmallPrime(2144960513, 1810381315, 31937275),
        new FalconSmallPrime(2144944129, 1306487838, 2019419520),
        new FalconSmallPrime(2144935937, 37304730, 1841489054),
        new FalconSmallPrime(2144894977, 1601434616, 157985831),
        new FalconSmallPrime(2144888833, 98749330, 2128592228),
        new FalconSmallPrime(2144880641, 1772327002, 2076128344),
        new FalconSmallPrime(2144864257, 1404514762, 2029969964),
        new FalconSmallPrime(2144827393, 801236594, 406627220),
        new FalconSmallPrime(2144806913, 349217443, 1501080290),
        new FalconSmallPrime(2144796673, 1542656776, 2084736519),
        new FalconSmallPrime(2144778241, 1210734884, 1746416203),
        new FalconSmallPrime(2144759809, 1146598851, 716464489),
        new FalconSmallPrime(2144757761, 286328400, 1823728177),
        new FalconSmallPrime(2144729089, 1347555695, 1836644881),
        new FalconSmallPrime(2144727041, 1795703790, 520296412),
        new FalconSmallPrime(2144696321, 1302475157, 852964281),
        new FalconSmallPrime(2144667649, 1075877614, 504992927),
        new FalconSmallPrime(2144573441, 198765808, 1617144982),
        new FalconSmallPrime(2144555009, 321528767, 155821259),
        new FalconSmallPrime(2144550913, 814139516, 1819937644),
        new FalconSmallPrime(2144536577, 571143206, 962942255),
        new FalconSmallPrime(2144524289, 1746733766, 2471321),
        new FalconSmallPrime(2144512001, 1821415077, 124190939),
        new FalconSmallPrime(2144468993, 917871546, 1260072806),
        new FalconSmallPrime(2144458753, 378417981, 1569240563),
        new FalconSmallPrime(2144421889, 175229668, 1825620763),
        new FalconSmallPrime(2144409601, 1699216963, 351648117),
        new FalconSmallPrime(2144370689, 1071885991, 958186029),
        new FalconSmallPrime(2144348161, 1763151227, 540353574),
        new FalconSmallPrime(2144335873, 1060214804, 919598847),
        new FalconSmallPrime(2144329729, 663515846, 1448552668),
        new FalconSmallPrime(2144327681, 1057776305, 590222840),
        new FalconSmallPrime(2144309249, 1705149168, 1459294624),
        new FalconSmallPrime(2144296961, 325823721, 1649016934),
        new FalconSmallPrime(2144290817, 738775789, 447427206),
        new FalconSmallPrime(2144243713, 962347618, 893050215),
        new FalconSmallPrime(2144237569, 1655257077, 900860862),
        new FalconSmallPrime(2144161793, 242206694, 1567868672),
        new FalconSmallPrime(2144155649, 769415308, 1247993134),
        new FalconSmallPrime(2144137217, 320492023, 515841070),
        new FalconSmallPrime(2144120833, 1639388522, 770877302),
        new FalconSmallPrime(2144071681, 1761785233, 964296120),
        new FalconSmallPrime(2144065537, 419817825, 204564472),
        new FalconSmallPrime(2144028673, 666050597, 2091019760),
        new FalconSmallPrime(2144010241, 1413657615, 1518702610),
        new FalconSmallPrime(2143952897, 1238327946, 475672271),
        new FalconSmallPrime(2143940609, 307063413, 1176750846),
        new FalconSmallPrime(2143918081, 2062905559, 786785803),
        new FalconSmallPrime(2143899649, 1338112849, 1562292083),
        new FalconSmallPrime(2143891457, 68149545, 87166451),
        new FalconSmallPrime(2143885313, 921750778, 394460854),
        new FalconSmallPrime(2143854593, 719766593, 133877196),
        new FalconSmallPrime(2143836161, 1149399850, 1861591875),
        new FalconSmallPrime(2143762433, 1848739366, 1335934145),
        new FalconSmallPrime(2143756289, 1326674710, 102999236),
        new FalconSmallPrime(2143713281, 808061791, 1156900308),
        new FalconSmallPrime(2143690753, 388399459, 1926468019),
        new FalconSmallPrime(2143670273, 1427891374, 1756689401),
        new FalconSmallPrime(2143666177, 1912173949, 986629565),
        new FalconSmallPrime(2143645697, 2041160111, 371842865),
        new FalconSmallPrime(2143641601, 1279906897, 2023974350),
        new FalconSmallPrime(2143635457, 720473174, 1389027526),
        new FalconSmallPrime(2143621121, 1298309455, 1732632006),
        new FalconSmallPrime(2143598593, 1548762216, 1825417506),
        new FalconSmallPrime(2143567873, 620475784, 1073787233),
        new FalconSmallPrime(2143561729, 1932954575, 949167309),
        new FalconSmallPrime(2143553537, 354315656, 1652037534),
        new FalconSmallPrime(2143541249, 577424288, 1097027618),
        new FalconSmallPrime(2143531009, 357862822, 478640055),
        new FalconSmallPrime(2143522817, 2017706025, 1550531668),
        new FalconSmallPrime(2143506433, 2078127419, 1824320165),
        new FalconSmallPrime(2143488001, 613475285, 1604011510),
        new FalconSmallPrime(2143469569, 1466594987, 502095196),
        new FalconSmallPrime(2143426561, 1115430331, 1044637111),
        new FalconSmallPrime(2143383553, 9778045, 1902463734),
        new FalconSmallPrime(2143377409, 1557401276, 2056861771),
        new FalconSmallPrime(2143363073, 652036455, 1965915971),
        new FalconSmallPrime(2143260673, 1464581171, 1523257541),
        new FalconSmallPrime(2143246337, 1876119649, 764541916),
        new FalconSmallPrime(2143209473, 1614992673, 1920672844),
        new FalconSmallPrime(2143203329, 981052047, 2049774209),
        new FalconSmallPrime(2143160321, 1847355533, 728535665),
        new FalconSmallPrime(2143129601, 965558457, 603052992),
        new FalconSmallPrime(2143123457, 2140817191, 8348679),
        new FalconSmallPrime(2143100929, 1547263683, 694209023),
        new FalconSmallPrime(2143092737, 643459066, 1979934533),
        new FalconSmallPrime(2143082497, 188603778, 2026175670),
        new FalconSmallPrime(2143062017, 1657329695, 377451099),
        new FalconSmallPrime(2143051777, 114967950, 979255473),
        new FalconSmallPrime(2143025153, 1698431342, 1449196896),
        new FalconSmallPrime(2143006721, 1862741675, 1739650365),
        new FalconSmallPrime(2142996481, 756660457, 996160050),
        new FalconSmallPrime(2142976001, 927864010, 1166847574),
        new FalconSmallPrime(2142965761, 905070557, 661974566),
        new FalconSmallPrime(2142916609, 40932754, 1787161127),
        new FalconSmallPrime(2142892033, 1987985648, 675335382),
        new FalconSmallPrime(2142885889, 797497211, 1323096997),
        new FalconSmallPrime(2142871553, 2068025830, 1411877159),
        new FalconSmallPrime(2142861313, 1217177090, 1438410687),
        new FalconSmallPrime(2142830593, 409906375, 1767860634),
        new FalconSmallPrime(2142803969, 1197788993, 359782919),
        new FalconSmallPrime(2142785537, 643817365, 513932862),
        new FalconSmallPrime(2142779393, 1717046338, 218943121),
        new FalconSmallPrime(2142724097, 89336830, 416687049),
        new FalconSmallPrime(2142707713, 5944581, 1356813523),
        new FalconSmallPrime(2142658561, 887942135, 2074011722),
        new FalconSmallPrime(2142638081, 151851972, 1647339939),
        new FalconSmallPrime(2142564353, 1691505537, 1483107336),
        new FalconSmallPrime(2142533633, 1989920200, 1135938817),
        new FalconSmallPrime(2142529537, 959263126, 1531961857),
        new FalconSmallPrime(2142527489, 453251129, 1725566162),
        new FalconSmallPrime(2142502913, 1536028102, 182053257),
        new FalconSmallPrime(2142498817, 570138730, 701443447),
        new FalconSmallPrime(2142416897, 326965800, 411931819),
        new FalconSmallPrime(2142363649, 1675665410, 1517191733),
        new FalconSmallPrime(2142351361, 968529566, 1575712703),
        new FalconSmallPrime(2142330881, 1384953238, 1769087884),
        new FalconSmallPrime(2142314497, 1977173242, 1833745524),
        new FalconSmallPrime(2142289921, 95082313, 1714775493),
        new FalconSmallPrime(2142283777, 109377615, 1070584533),
        new FalconSmallPrime(2142277633, 16960510, 702157145),
        new FalconSmallPrime(2142263297, 553850819, 431364395),
        new FalconSmallPrime(2142208001, 241466367, 2053967982),
        new FalconSmallPrime(2142164993, 1795661326, 1031836848),
        new FalconSmallPrime(2142097409, 1212530046, 712772031),
        new FalconSmallPrime(2142087169, 1763869720, 822276067),
        new FalconSmallPrime(2142078977, 644065713, 1765268066),
        new FalconSmallPrime(2142074881, 112671944, 643204925),
        new FalconSmallPrime(2142044161, 1387785471, 1297890174),
        new FalconSmallPrime(2142025729, 783885537, 1000425730),
        new FalconSmallPrime(2142011393, 905662232, 1679401033),
        new FalconSmallPrime(2141974529, 799788433, 468119557),
        new FalconSmallPrime(2141943809, 1932544124, 449305555),
        new FalconSmallPrime(2141933569, 1527403256, 841867925),
        new FalconSmallPrime(2141931521, 1247076451, 743823916),
        new FalconSmallPrime(2141902849, 1199660531, 401687910),
        new FalconSmallPrime(2141890561, 150132350, 1720336972),
        new FalconSmallPrime(2141857793, 1287438162, 663880489),
        new FalconSmallPrime(2141833217, 618017731, 1819208266),
        new FalconSmallPrime(2141820929, 999578638, 1403090096),
        new FalconSmallPrime(2141786113, 81834325, 1523542501),
        new FalconSmallPrime(2141771777, 120001928, 463556492),
        new FalconSmallPrime(2141759489, 122455485, 2124928282),
        new FalconSmallPrime(2141749249, 141986041, 940339153),
        new FalconSmallPrime(2141685761, 889088734, 477141499),
        new FalconSmallPrime(2141673473, 324212681, 1122558298),
        new FalconSmallPrime(2141669377, 1175806187, 1373818177),
        new FalconSmallPrime(2141655041, 1113654822, 296887082),
        new FalconSmallPrime(2141587457, 991103258, 1585913875),
        new FalconSmallPrime(2141583361, 1401451409, 1802457360),
        new FalconSmallPrime(2141575169, 1571977166, 712760980),
        new FalconSmallPrime(2141546497, 1107849376, 1250270109),
        new FalconSmallPrime(2141515777, 196544219, 356001130),
        new FalconSmallPrime(2141495297, 1733571506, 1060744866),
        new FalconSmallPrime(2141483009, 321552363, 1168297026),
        new FalconSmallPrime(2141458433, 505818251, 733225819),
        new FalconSmallPrime(2141360129, 1026840098, 948342276),
        new FalconSmallPrime(2141325313, 945133744, 2129965998),
        new FalconSmallPrime(2141317121, 1871100260, 1843844634),
        new FalconSmallPrime(2141286401, 1790639498, 1750465696),
        new FalconSmallPrime(2141267969, 1376858592, 186160720),
        new FalconSmallPrime(2141255681, 2129698296, 1876677959),
        new FalconSmallPrime(2141243393, 2138900688, 1340009628),
        new FalconSmallPrime(2141214721, 1933049835, 1087819477),
        new FalconSmallPrime(2141212673, 1898664939, 1786328049),
        new FalconSmallPrime(2141202433, 990234828, 940682169),
        new FalconSmallPrime(2141175809, 1406392421, 993089586),
        new FalconSmallPrime(2141165569, 1263518371, 289019479),
        new FalconSmallPrime(2141073409, 1485624211, 507864514),
        new FalconSmallPrime(2141052929, 1885134788, 311252465),
        new FalconSmallPrime(2141040641, 1285021247, 280941862),
        new FalconSmallPrime(2141028353, 1527610374, 375035110),
        new FalconSmallPrime(2141011969, 1400626168, 164696620),
        new FalconSmallPrime(2140999681, 632959608, 966175067),
        new FalconSmallPrime(2140997633, 2045628978, 1290889438),
        new FalconSmallPrime(2140993537, 1412755491, 375366253),
        new FalconSmallPrime(2140942337, 719477232, 785367828),
        new FalconSmallPrime(2140925953, 45224252, 836552317),
        new FalconSmallPrime(2140917761, 1157376588, 1001839569),
        new FalconSmallPrime(2140887041, 278480752, 2098732796),
        new FalconSmallPrime(2140837889, 1663139953, 924094810),
        new FalconSmallPrime(2140788737, 802501511, 2045368990),
        new FalconSmallPrime(2140766209, 1820083885, 1800295504),
        new FalconSmallPrime(2140764161, 1169561905, 2106792035),
        new FalconSmallPrime(2140696577, 127781498, 1885987531),
        new FalconSmallPrime(2140684289, 16014477, 1098116827),
        new FalconSmallPrime(2140653569, 665960598, 1796728247),
        new FalconSmallPrime(2140594177, 1043085491, 377310938),
        new FalconSmallPrime(2140579841, 1732838211, 1504505945),
        new FalconSmallPrime(2140569601, 302071939, 358291016),
        new FalconSmallPrime(2140567553, 192393733, 1909137143),
        new FalconSmallPrime(2140557313, 406595731, 1175330270),
        new FalconSmallPrime(2140549121, 1748850918, 525007007),
        new FalconSmallPrime(2140477441, 499436566, 1031159814),
        new FalconSmallPrime(2140469249, 1886004401, 1029951320),
        new FalconSmallPrime(2140426241, 1483168100, 1676273461),
        new FalconSmallPrime(2140420097, 1779917297, 846024476),
        new FalconSmallPrime(2140413953, 522948893, 1816354149),
        new FalconSmallPrime(2140383233, 1931364473, 1296921241),
        new FalconSmallPrime(2140366849, 1917356555, 147196204),
        new FalconSmallPrime(2140354561, 16466177, 1349052107),
        new FalconSmallPrime(2140348417, 1875366972, 1860485634),
        new FalconSmallPrime(2140323841, 456498717, 1790256483),
        new FalconSmallPrime(2140321793, 1629493973, 150031888),
        new FalconSmallPrime(2140315649, 1904063898, 395510935),
        new FalconSmallPrime(2140280833, 1784104328, 831417909),
        new FalconSmallPrime(2140250113, 256087139, 697349101),
        new FalconSmallPrime(2140229633, 388553070, 243875754),
        new FalconSmallPrime(2140223489, 747459608, 1396270850),
        new FalconSmallPrime(2140200961, 507423743, 1895572209),
        new FalconSmallPrime(2140162049, 580106016, 2045297469),
        new FalconSmallPrime(2140149761, 712426444, 785217995),
        new FalconSmallPrime(2140137473, 1441607584, 536866543),
        new FalconSmallPrime(2140119041, 346538902, 1740434653),
        new FalconSmallPrime(2140090369, 282642885, 21051094),
        new FalconSmallPrime(2140076033, 1407456228, 319910029),
        new FalconSmallPrime(2140047361, 1619330500, 1488632070),
        new FalconSmallPrime(2140041217, 2089408064, 2012026134),
        new FalconSmallPrime(2140008449, 1705524800, 1613440760),
        new FalconSmallPrime(2139924481, 1846208233, 1280649481),
        new FalconSmallPrime(2139906049, 989438755, 1185646076),
        new FalconSmallPrime(2139867137, 1522314850, 372783595),
        new FalconSmallPrime(2139842561, 1681587377, 216848235),
        new FalconSmallPrime(2139826177, 2066284988, 1784999464),
        new FalconSmallPrime(2139824129, 480888214, 1513323027),
        new FalconSmallPrime(2139789313, 847937200, 858192859),
        new FalconSmallPrime(2139783169, 1642000434, 1583261448),
        new FalconSmallPrime(2139770881, 940699589, 179702100),
        new FalconSmallPrime(2139768833, 315623242, 964612676),
        new FalconSmallPrime(2139666433, 331649203, 764666914),
        new FalconSmallPrime(2139641857, 2118730799, 1313764644),
        new FalconSmallPrime(2139635713, 519149027, 519212449),
        new FalconSmallPrime(2139598849, 1526413634, 1769667104),
        new FalconSmallPrime(2139574273, 551148610, 820739925),
        new FalconSmallPrime(2139568129, 1386800242, 472447405),
        new FalconSmallPrime(2139549697, 813760130, 1412328531),
        new FalconSmallPrime(2139537409, 1615286260, 1609362979),
        new FalconSmallPrime(2139475969, 1352559299, 1696720421),
        new FalconSmallPrime(2139455489, 1048691649, 1584935400),
        new FalconSmallPrime(2139432961, 836025845, 950121150),
        new FalconSmallPrime(2139424769, 1558281165, 1635486858),
        new FalconSmallPrime(2139406337, 1728402143, 1674423301),
        new FalconSmallPrime(2139396097, 1727715782, 1483470544),
        new FalconSmallPrime(2139383809, 1092853491, 1741699084),
        new FalconSmallPrime(2139369473, 690776899, 1242798709),
        new FalconSmallPrime(2139351041, 1768782380, 2120712049),
        new FalconSmallPrime(2139334657, 1739968247, 1427249225),
        new FalconSmallPrime(2139332609, 1547189119, 623011170),
        new FalconSmallPrime(2139310081, 1346827917, 1605466350),
        new FalconSmallPrime(2139303937, 369317948, 828392831),
        new FalconSmallPrime(2139301889, 1560417239, 1788073219),
        new FalconSmallPrime(2139283457, 1303121623, 595079358),
        new FalconSmallPrime(2139248641, 1354555286, 573424177),
        new FalconSmallPrime(2139240449, 60974056, 885781403),
        new FalconSmallPrime(2139222017, 355573421, 1221054839),
        new FalconSmallPrime(2139215873, 566477826, 1724006500),
        new FalconSmallPrime(2139150337, 871437673, 1609133294),
        new FalconSmallPrime(2139144193, 1478130914, 1137491905),
        new FalconSmallPrime(2139117569, 1854880922, 964728507),
        new FalconSmallPrime(2139076609, 202405335, 756508944),
        new FalconSmallPrime(2139062273, 1399715741, 884826059),
        new FalconSmallPrime(2139045889, 1051045798, 1202295476),
        new FalconSmallPrime(2139033601, 1707715206, 632234634),
        new FalconSmallPrime(2139006977, 2035853139, 231626690),
        new FalconSmallPrime(2138951681, 183867876, 838350879),
        new FalconSmallPrime(2138945537, 1403254661, 404460202),
        new FalconSmallPrime(2138920961, 310865011, 1282911681),
        new FalconSmallPrime(2138910721, 1328496553, 103472415),
        new FalconSmallPrime(2138904577, 78831681, 993513549),
        new FalconSmallPrime(2138902529, 1319697451, 1055904361),
        new FalconSmallPrime(2138816513, 384338872, 1706202469),
        new FalconSmallPrime(2138810369, 1084868275, 405677177),
        new FalconSmallPrime(2138787841, 401181788, 1964773901),
        new FalconSmallPrime(2138775553, 1850532988, 1247087473),
        new FalconSmallPrime(2138767361, 874261901, 1576073565),
        new FalconSmallPrime(2138757121, 1187474742, 993541415),
        new FalconSmallPrime(2138748929, 1782458888, 1043206483),
        new FalconSmallPrime(2138744833, 1221500487, 800141243),
        new FalconSmallPrime(2138738689, 413465368, 1450660558),
        new FalconSmallPrime(2138695681, 739045140, 342611472),
        new FalconSmallPrime(2138658817, 1355845756, 672674190),
        new FalconSmallPrime(2138644481, 608379162, 1538874380),
        new FalconSmallPrime(2138632193, 1444914034, 686911254),
        new FalconSmallPrime(2138607617, 484707818, 1435142134),
        new FalconSmallPrime(2138591233, 539460669, 1290458549),
        new FalconSmallPrime(2138572801, 2093538990, 2011138646),
        new FalconSmallPrime(2138552321, 1149786988, 1076414907),
        new FalconSmallPrime(2138546177, 840688206, 2108985273),
        new FalconSmallPrime(2138533889, 209669619, 198172413),
        new FalconSmallPrime(2138523649, 1975879426, 1277003968),
        new FalconSmallPrime(2138490881, 1351891144, 1976858109),
        new FalconSmallPrime(2138460161, 1817321013, 1979278293),
        new FalconSmallPrime(2138429441, 1950077177, 203441928),
        new FalconSmallPrime(2138400769, 908970113, 628395069),
        new FalconSmallPrime(2138398721, 219890864, 758486760),
        new FalconSmallPrime(2138376193, 1306654379, 977554090),
        new FalconSmallPrime(2138351617, 298822498, 2004708503),
        new FalconSmallPrime(2138337281, 441457816, 1049002108),
        new FalconSmallPrime(2138320897, 1517731724, 1442269609),
        new FalconSmallPrime(2138290177, 1355911197, 1647139103),
        new FalconSmallPrime(2138234881, 531313247, 1746591962),
        new FalconSmallPrime(2138214401, 1899410930, 781416444),
        new FalconSmallPrime(2138202113, 1813477173, 1622508515),
        new FalconSmallPrime(2138191873, 1086458299, 1025408615),
        new FalconSmallPrime(2138183681, 1998800427, 827063290),
        new FalconSmallPrime(2138173441, 1921308898, 749670117),
        new FalconSmallPrime(2138103809, 1620902804, 2126787647),
        new FalconSmallPrime(2138099713, 828647069, 1892961817),
        new FalconSmallPrime(2138085377, 179405355, 1525506535),
        new FalconSmallPrime(2138060801, 615683235, 1259580138),
        new FalconSmallPrime(2138044417, 2030277840, 1731266562),
        new FalconSmallPrime(2138042369, 2087222316, 1627902259),
        new FalconSmallPrime(2138032129, 126388712, 1108640984),
        new FalconSmallPrime(2138011649, 715026550, 1017980050),
        new FalconSmallPrime(2137993217, 1693714349, 1351778704),
        new FalconSmallPrime(2137888769, 1289762259, 1053090405),
        new FalconSmallPrime(2137853953, 199991890, 1254192789),
        new FalconSmallPrime(2137833473, 941421685, 896995556),
        new FalconSmallPrime(2137817089, 750416446, 1251031181),
        new FalconSmallPrime(2137792513, 798075119, 368077456),
        new FalconSmallPrime(2137786369, 878543495, 1035375025),
        new FalconSmallPrime(2137767937, 9351178, 1156563902),
        new FalconSmallPrime(2137755649, 1382297614, 1686559583),
        new FalconSmallPrime(2137724929, 1345472850, 1681096331),
        new FalconSmallPrime(2137704449, 834666929, 630551727),
        new FalconSmallPrime(2137673729, 1646165729, 1892091571),
        new FalconSmallPrime(2137620481, 778943821, 48456461),
        new FalconSmallPrime(2137618433, 1730837875, 1713336725),
        new FalconSmallPrime(2137581569, 805610339, 1378891359),
        new FalconSmallPrime(2137538561, 204342388, 1950165220),
        new FalconSmallPrime(2137526273, 1947629754, 1500789441),
        new FalconSmallPrime(2137516033, 719902645, 1499525372),
        new FalconSmallPrime(2137491457, 230451261, 556382829),
        new FalconSmallPrime(2137440257, 979573541, 412760291),
        new FalconSmallPrime(2137374721, 927841248, 1954137185),
        new FalconSmallPrime(2137362433, 1243778559, 861024672),
        new FalconSmallPrime(2137313281, 1341338501, 980638386),
        new FalconSmallPrime(2137311233, 937415182, 1793212117),
        new FalconSmallPrime(2137255937, 795331324, 1410253405),
        new FalconSmallPrime(2137243649, 150756339, 1966999887),
        new FalconSmallPrime(2137182209, 163346914, 1939301431),
        new FalconSmallPrime(2137171969, 1952552395, 758913141),
        new FalconSmallPrime(2137159681, 570788721, 218668666),
        new FalconSmallPrime(2137147393, 1896656810, 2045670345),
        new FalconSmallPrime(2137141249, 358493842, 518199643),
        new FalconSmallPrime(2137139201, 1505023029, 674695848),
        new FalconSmallPrime(2137133057, 27911103, 830956306),
        new FalconSmallPrime(2137122817, 439771337, 1555268614),
        new FalconSmallPrime(2137116673, 790988579, 1871449599),
        new FalconSmallPrime(2137110529, 432109234, 811805080),
        new FalconSmallPrime(2137102337, 1357900653, 1184997641),
        new FalconSmallPrime(2137098241, 515119035, 1715693095),
        new FalconSmallPrime(2137090049, 408575203, 2085660657),
        new FalconSmallPrime(2137085953, 2097793407, 1349626963),
        new FalconSmallPrime(2137055233, 1556739954, 1449960883),
        new FalconSmallPrime(2137030657, 1545758650, 1369303716),
        new FalconSmallPrime(2136987649, 332602570, 103875114),
        new FalconSmallPrime(2136969217, 1499989506, 1662964115),
        new FalconSmallPrime(2136924161, 857040753, 4738842),
        new FalconSmallPrime(2136895489, 1948872712, 570436091),
        new FalconSmallPrime(2136893441, 58969960, 1568349634),
        new FalconSmallPrime(2136887297, 2127193379, 273612548),
        new FalconSmallPrime(2136850433, 111208983, 1181257116),
        new FalconSmallPrime(2136809473, 1627275942, 1680317971),
        new FalconSmallPrime(2136764417, 1574888217, 14011331),
        new FalconSmallPrime(2136741889, 14011055, 1129154251),
        new FalconSmallPrime(2136727553, 35862563, 1838555253),
        new FalconSmallPrime(2136721409, 310235666, 1363928244),
        new FalconSmallPrime(2136698881, 1612429202, 1560383828),
        new FalconSmallPrime(2136649729, 1138540131, 800014364),
        new FalconSmallPrime(2136606721, 602323503, 1433096652),
        new FalconSmallPrime(2136563713, 182209265, 1919611038),
        new FalconSmallPrime(2136555521, 324156477, 165591039),
        new FalconSmallPrime(2136549377, 195513113, 217165345),
        new FalconSmallPrime(2136526849, 1050768046, 939647887),
        new FalconSmallPrime(2136508417, 1886286237, 1619926572),
        new FalconSmallPrime(2136477697, 609647664, 35065157),
        new FalconSmallPrime(2136471553, 679352216, 1452259468),
        new FalconSmallPrime(2136457217, 128630031, 824816521),
        new FalconSmallPrime(2136422401, 19787464, 1526049830),
        new FalconSmallPrime(2136420353, 698316836, 1530623527),
        new FalconSmallPrime(2136371201, 1651862373, 1804812805),
        new FalconSmallPrime(2136334337, 326596005, 336977082),
        new FalconSmallPrime(2136322049, 63253370, 1904972151),
        new FalconSmallPrime(2136297473, 312176076, 172182411),
        new FalconSmallPrime(2136248321, 381261841, 369032670),
        new FalconSmallPrime(2136242177, 358688773, 1640007994),
        new FalconSmallPrime(2136229889, 512677188, 75585225),
        new FalconSmallPrime(2136219649, 2095003250, 1970086149),
        new FalconSmallPrime(2136207361, 1909650722, 537760675),
        new FalconSmallPrime(2136176641, 1334616195, 1533487619),
        new FalconSmallPrime(2136158209, 2096285632, 1793285210),
        new FalconSmallPrime(2136143873, 1897347517, 293843959),
        new FalconSmallPrime(2136133633, 923586222, 1022655978),
        new FalconSmallPrime(2136096769, 1464868191, 1515074410),
        new FalconSmallPrime(2136094721, 2020679520, 2061636104),
        new FalconSmallPrime(2136076289, 290798503, 1814726809),
        new FalconSmallPrime(2136041473, 156415894, 1250757633),
        new FalconSmallPrime(2135996417, 297459940, 1132158924),
        new FalconSmallPrime(2135955457, 538755304, 1688831340),
        new FalconSmallPrime(0, 0, 0)
    };
}
